Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
81	02157 Functional ProgrammingFunctional Programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:17:56 Vectors Vector calculus Linear algebra Mathematical notation Vector Technical University of Denmark Operator MRH Euclidean vector
82	A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Recursion Computability theory Theory of computation Subroutines Lambda calculus Primitive recursive function Fold Mutual recursion Higher-order function Type system
83	TAKE-HOME CLASS QUIZ: DUE MONDAY NOVEMBER 25: SUBSPACE, BASIS, DIMENSION, AND ABSTRACT SPACES: APPLICATIONS TO CALCULUS MATH 196, SECTION 57 (VIPUL NAIK) Your name (print clearly in capital letters): PLEASE FEEL FREE TO Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Linear algebra Functional analysis Functions and mappings Linear map Injective function Vector space Kernel Rational function Linear subspace Continuous function Surjective function Examples of vector spaces
84	165 Documenta Math. On the Leading Terms of Zeta Isomorphisms and p-Adic L-functions in Non-Commutative Iwasawa Theory Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-11-22 14:18:47 Algebraic geometry Homological algebra Symbol Valuation Sheaf Motive Ring Orbifold Holomorphic functional calculus
85	Javascript to Scheme Compilation Florian Loitsch Inria Sophia Antipolis 2004 route des Lucioles - BP 93 FSophia Antipolis, Cedex France Add to Reading List Source URL: www.deinprogramm.de Language: English - Date: 2005-10-09 10:54:18 Subroutines Functional languages Functional programming Lambda calculus Data types JavaScript Anonymous function Closure Apply Scope Eval Bigloo
86	02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013 Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-10-21 08:25:00 Lambda calculus Combinatory logic Lambda calculus definition Reduction strategy Free variables and bound variables Lambda Fixed-point combinator Anonymous function Term Variable Beta normal form
87	Higher-Order and Symbolic Computation, 11, 405–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Scheme: Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-14 14:39:18 Lisp Lambda calculus Functional programming Data types Subroutines Scheme Anonymous function Cons Fexpr Maclisp Closure Eval
88	Appendix to Chen et al., ICFPAppendix to Chen et al., Implicit self-adjusting computation for purely functional programs (ICFPIn Section A, we show that translation maps source types to corresponding target Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-09-08 07:51:15 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Computability theory Table of stars with Bayer designations Symbol
89	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming A-normal form Let expression Fixed-point combinator Exponentiation Expression Monad Anonymous function Free variables and bound variables Combinatory logic Standard ML
90	Combinatorial Section Conjecture and Pop-Stix.pdf Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-07 01:55:44 Homotopy theory Algebraic topology Representation theory Fundamental group Homomorphism Covering space Orbifold Holomorphic functional calculus

UPDATE